\begin{tabbing}
$\forall$$w$:World.
\\[0ex]FairFifo
\\[0ex]$\Rightarrow$ \=($\forall$$i$:Id, $b$, $a$:$\mathbb{N}$.\+
\\[0ex]($a$ $\leq$ $b$)
\\[0ex]$\Rightarrow$ ($\forall$$t$:$\mathbb{N}$. ($a$ $\leq$ $t$) $\Rightarrow$ ($t$ $<$ $b$) $\Rightarrow$ ($\uparrow$isnull(a($i$;$t$))))
\\[0ex]$\Rightarrow$ (($\lambda$$x$,$q$. s($i$;$a$).$x$($q$ + ($b$ {-} $a$))) = ($\lambda$$x$.s($i$;$b$).$x$) $\in$ $x$:Id$\rightarrow\mathbb{Q}\rightarrow$vartype($i$;$x$)))
\-
\end{tabbing}